#include<stdio.h>

int fgetc(FILE *f)
{
    uint8_t res;

    return ((__stdio_read(f,&res,1)<=0)?EOF:res);
}


